executable('kernel-bench', 'src/main.cpp',
	dependencies : [
		helix_dep,
	],
	install : true)
